Skip to content

docs: Update docs with pixi-extensions#4144

Merged
lucascolley merged 4 commits intoprefix-dev:mainfrom
mrswastik-robot:docs-for-pixi-extensions
Aug 4, 2025
Merged

docs: Update docs with pixi-extensions#4144
lucascolley merged 4 commits intoprefix-dev:mainfrom
mrswastik-robot:docs-for-pixi-extensions

Conversation

@mrswastik-robot
Copy link
Copy Markdown
Contributor

for #3994

Copy link
Copy Markdown
Collaborator

@lucascolley lucascolley left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

a few nits bit otherwise this reads great to me, nice stuff! Super cool functionality also, looking forward to seeing which extensions people develop :)

Comment on lines +42 to +46
This approach has several advantages:
- **Isolated environments**: Each extension gets its own environment, preventing dependency conflicts
- **Automatic discovery**: Extensions are automatically found by pixi without modifying PATH
- **Easy management**: Use `pixi global list` and `pixi global remove` to manage extensions
- **Consistent experience**: Extensions appear in `pixi --help` just like built-in commands
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 but maybe this text (for the first three points) belongs in global docs, and we can just link out to it in one sentence?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yup makes sense! To me, it sounded like it's repeating. Seemed like I had read it somewhere else in the docs. Will resolve this 👍🏽

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we can merge this as is tbh!

@lucascolley lucascolley added area:extensions Related to pixi extensions documentation Improvements or additions to documentation labels Jul 21, 2025
@tdejager
Copy link
Copy Markdown
Contributor

tdejager commented Aug 4, 2025

@lucascolley @ruben-arts can this be merged?

@lucascolley lucascolley merged commit fddde8d into prefix-dev:main Aug 4, 2025
41 checks passed
@lucascolley
Copy link
Copy Markdown
Collaborator

yes :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:extensions Related to pixi extensions documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants